VDict mobile



Boolean unification not found. Suggestions:

Boolean
occurs check
unification
NOR
two-valued logic
Boolean search
guard
satisfiability problem
NAND
Boolean algebra